/*****************************************************
 * jr generated file
 ****************************************************/
import edu.ucdavis.jr.*;
import edu.ucdavis.jr.jrx.*;
import java.rmi.*;
import java.io.Serializable;

    public class JRRW
      extends JRjavadotlangdotObject
      implements Serializable, Cloneable
    {
	static final long serialVersionUID = 0;
	public Cap_ext_ op_writer_intTovoid;
	public Cap_ext_ JRget_op_writer_intTovoid() {
		return op_writer_intTovoid;
	}
	public void JRset_op_writer_intTovoid(Cap_ext_ op_writer_intTovoid) {
		this.op_writer_intTovoid = op_writer_intTovoid;
	}

	public Cap_ext_ op_reader_intTovoid;
	public Cap_ext_ JRget_op_reader_intTovoid() {
		return op_reader_intTovoid;
	}
	public void JRset_op_reader_intTovoid(Cap_ext_ op_reader_intTovoid) {
		this.op_reader_intTovoid = op_reader_intTovoid;
	}

	public Cap_ext_ op_RWAllocator_voidTovoid;
	public Cap_ext_ JRget_op_RWAllocator_voidTovoid() {
		return op_RWAllocator_voidTovoid;
	}
	public void JRset_op_RWAllocator_voidTovoid(Cap_ext_ op_RWAllocator_voidTovoid) {
		this.op_RWAllocator_voidTovoid = op_RWAllocator_voidTovoid;
	}

	public Cap_ext_ op_end_write_voidTovoid;
	public Cap_ext_ JRget_op_end_write_voidTovoid() {
		return op_end_write_voidTovoid;
	}
	public void JRset_op_end_write_voidTovoid(Cap_ext_ op_end_write_voidTovoid) {
		this.op_end_write_voidTovoid = op_end_write_voidTovoid;
	}

	public Cap_ext_ op_start_write_voidTovoid;
	public Cap_ext_ JRget_op_start_write_voidTovoid() {
		return op_start_write_voidTovoid;
	}
	public void JRset_op_start_write_voidTovoid(Cap_ext_ op_start_write_voidTovoid) {
		this.op_start_write_voidTovoid = op_start_write_voidTovoid;
	}

	public Cap_ext_ op_end_read_voidTovoid;
	public Cap_ext_ JRget_op_end_read_voidTovoid() {
		return op_end_read_voidTovoid;
	}
	public void JRset_op_end_read_voidTovoid(Cap_ext_ op_end_read_voidTovoid) {
		this.op_end_read_voidTovoid = op_end_read_voidTovoid;
	}

	public Cap_ext_ op_start_read_voidTovoid;
	public Cap_ext_ JRget_op_start_read_voidTovoid() {
		return op_start_read_voidTovoid;
	}
	public void JRset_op_start_read_voidTovoid(Cap_ext_ op_start_read_voidTovoid) {
		this.op_start_read_voidTovoid = op_start_read_voidTovoid;
	}

	public JRRW(JRRW copy)
	{
	this.op_writer_intTovoid = copy.op_writer_intTovoid;
	this.op_reader_intTovoid = copy.op_reader_intTovoid;
	this.op_RWAllocator_voidTovoid = copy.op_RWAllocator_voidTovoid;
	this.op_end_write_voidTovoid = copy.op_end_write_voidTovoid;
	this.op_start_write_voidTovoid = copy.op_start_write_voidTovoid;
	this.op_end_read_voidTovoid = copy.op_end_read_voidTovoid;
	this.op_start_read_voidTovoid = copy.op_start_read_voidTovoid;

	}
	public JRRW(Object ... opSig)
	{
	this.op_writer_intTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[0]);
	this.op_reader_intTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[1]);
	this.op_RWAllocator_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[2]);
	this.op_end_write_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[3]);
	this.op_start_write_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[4]);
	this.op_end_read_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[5]);
	this.op_start_read_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[6]);

	}
	public JRRW(boolean dummy)	{
	    super(dummy);
	this.op_writer_intTovoid = Cap_ext_.noop;
	this.op_reader_intTovoid = Cap_ext_.noop;
	this.op_RWAllocator_voidTovoid = Cap_ext_.noop;
	this.op_end_write_voidTovoid = Cap_ext_.noop;
	this.op_start_write_voidTovoid = Cap_ext_.noop;
	this.op_end_read_voidTovoid = Cap_ext_.noop;
	this.op_start_read_voidTovoid = Cap_ext_.noop;

	}
	public Object clone()
	    throws CloneNotSupportedException
	{
	    return super.clone();
	}
	public static Object getNoop()
	{
	    return new JRRW(true);
	}
    }
